Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
1

Strategy synthesis for multi-dimensional quantitative objectives

Рік:
2014
Мова:
english
Файл:
PDF, 644 KB
english, 2014
2

Looking at mean-payoff and total-payoff through windows

Рік:
2015
Мова:
english
Файл:
PDF, 907 KB
english, 2015
4

Average-energy games

Рік:
2016
Мова:
english
Файл:
PDF, 932 KB
english, 2016
5

Percentile queries in multi-dimensional Markov decision processes

Рік:
2017
Мова:
english
Файл:
PDF, 942 KB
english, 2017